Substrukturelle Logiken

Projektleitung und Mitarbeiter

Hudelmaier, J. (Dr. rer. nat.), Schroeder-Heister, P. (Prof. Dr. phil.), gemeinsam mit: Do-sen, K. (D. phil., Math. Inst., Belgrad, und Univ. Toulouse)

Mittelgeber :

Forschungsbericht : 1994-1996

Tel./ Fax.:

Projektbeschreibung

Der als Titel einer Tübinger Tagung im Jahre 1990 gewählte Begriff "Substructural Logics" für Logiken mit eingeschränkten Strukturregeln hat sich inzwischen als Terminus durchgesetzt. Im Berichtszeitraum wurden insbesondere nichtkommutative Logiken untersucht (sog. "Lambek-Logiken"), bei denen die Reihenfolge der angenommenen Prämissen und der zu beweisenden Behauptungen wichtig ist.

Publikationen

Hudelmaier, J., Schroeder-Heister, P.: Classical Lambek logic. In: Theorem Proving with Analytic Tableaux and Related Methods (Baumbartner, P., Hähnle, R., Posegga, J., eds.), pp. 247 262. Springer 1995.

INDEX HOME SUCHEN KONTAKT LINKS

qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de) - Stand: 30.11.96
Copyright Hinweise